ATMOSPHERIC SCIENCE: Certainly Warmer

Certainly Unsupervisable States

This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in th...

Almost-Certainly Runlength-Limiting Codes

Standard runlength-limiting codes – nonlinear codes defined by trellises – have the disadvantage that they disconnect the outer errorcorrecting code from the bit-by-bit likelihoods that come out of the channel. I present two methods for creating transmissions that, with probability extremely close to 1, both are runlength-limited and are codewords of an outer linear error-correcting code (or ar...

Grand challenges in atmospheric science

As a subject of study, the atmospheric sciences encompass all the processes that occur in the atmosphere, together with its links with other systems, mainly the hydrosphere, cryosphere, lithosphere, biosphere, and outer space. As such it is an extensive discipline and the task of describing the main challenges is not an easy one, and entails a fair degree of overlap with some of the other grand...

Real Reduction in Real Neuroscience: Metascience, Not Philosophy of Science (and Certainly Not Metaphysics!)

From Uncertainly Exact to Certainly Vague: Epistemic Uncertainty and Approximation in Science and Engineering Problem Solving

Epistemic uncertainty is a huge area of scholarship. It has captured the minds of scholars in psychology and many domain-specific studies of reasoning and problem solving. What does it mean to resolve uncertainty? This chapter explores the idea that resolution of uncertainty in complex science and engineering fields frequently ends with approximations rather than precise answers. The chapter be...